The existential graphs

From Existential Graphs to Conceptual Graphs

Existential graphs (EGs) are a simple, readable, and expressive graphic notation for logic. Conceptual graphs (CGs) combine a logical foundation based on EGs with features of the semantic networks used in artificial intelligence and computational linguistics. CG design principles address logical, linguistic, and cognitive requirements: a formal semantics defined by the ISO standard for Common L...

Existential Graphs for Terminological Logics

Existential Graphs and Thirdness 1

Robert Burch has, in A Peircean Reduction Thesis, made a major contribution to communication between what could be called Peircean logic and the more “traditional” approach based on the work of Frege, Peano, and Russell; we may call this the FPR approach. And in so contributing, he helps bridge gaps in understanding which may stand between those focusing on the semiotic, and those more committe...

Constants and Functions in Peirce's Existential Graphs

The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precise: As Peirce wanted to develop a logic of relatives (i.e., relations), existential graphs correspond to first order logic with relations and identity, but without constants or functions. In contemporary elaborations of first order logic, constants and functions are usually employed. In thi...

An Embedding of Existential Graphs into Concept Graphs with Negations